An imperative language based on distributive categories II
نویسندگان
چکیده
منابع مشابه
Rule-Based Operational Semantics for an Imperative Language
Operational semantics for programming languages usually come in two flavours: big-step and small-step. Both are defined using deduction rules with a congruence rule allowing reduction in certain contexts. For a description based on rewrite rules, known approaches consist in deriving an abstract machine, which is very close to implementation. In this paper, we describe the operational semantics ...
متن کاملCoalgebraic Semantics of an Imperative Class Based Language
We study two observational equivalences of Fickle programs. Fickle is a class-based object oriented imperative language, which extends Java with object re-classification. The first is a contextual equivalence of expressions with respect to a given program. We provide an adequate coalgebraic semantics for it, which is compositional w.r.t. the operators of the language. The second observational e...
متن کاملIntegrating Constraints into an Imperative Programming Language
We investigate here how to integrate constraints directly into the imperative programming paradigm, as \\rst class citizens" and not by means of an external library. To this end we provide a systematic account of the issues that arise. In particular, we discuss the role of the logical and customary variables, the interaction between the constraint store and the program, and the need for lists. ...
متن کاملA certified compiler for an imperative language
This paper describes the process of mechanically certifying a compiler with respect to the semantic speciication of the source and target languages. The proofs are performed in type theory using the Coq system. These proofs introduce speciic theoretical tools: fragmentation theorems and general induction principles. Un compilateur certiii pour un langage impratif RRsumm : Cet article ddcrit la ...
متن کاملImNet: An Imperative Network Programming Language
One of the most recent architectures of networks is Software-Defined Networks (SDNs) using a controller appliance to control the set of switches on the network. The controlling process includes installing or uninstalling packet-processing rules on flow tables of switches. This paper presents a high-level imperative network programming language, called ImNet, to facilitate writing efficient, yet...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: RAIRO - Theoretical Informatics and Applications
سال: 1993
ISSN: 0988-3754,1290-385X
DOI: 10.1051/ita/1993270605031